51![Rene Peralta and John Kelsey, National Institute of Standards and Technology, Computer Security Division. Nigel Smart, Professor of Cryptology, Rene Peralta and John Kelsey, National Institute of Standards and Technology, Computer Security Division. Nigel Smart, Professor of Cryptology,](https://www.pdfsearch.io/img/6e84f696db07abf1c29989490e32aab5.jpg) | Add to Reading ListSource URL: zkp.scienceLanguage: English - Date: 2018-09-15 05:52:51
|
---|
52![Planning Under Uncertainty with Temporally Extended Goals Alberto Camacho ∗ Department of Computer Science University of Toronto. Canada. Planning Under Uncertainty with Temporally Extended Goals Alberto Camacho ∗ Department of Computer Science University of Toronto. Canada.](https://www.pdfsearch.io/img/b32f597f0b4f45200eff39e9e0457899.jpg) | Add to Reading ListSource URL: icaps16.icaps-conference.orgLanguage: English - Date: 2016-06-16 07:11:20
|
---|
53![HVLearn: Automated Black-box Analysis of Hostname Verification in SSL/TLS Implementations Suphannee Sivakorn, George Argyros, Kexin Pei, Angelos D. Keromytis, and Suman Jana Department of Computer Science Columbia Univer HVLearn: Automated Black-box Analysis of Hostname Verification in SSL/TLS Implementations Suphannee Sivakorn, George Argyros, Kexin Pei, Angelos D. Keromytis, and Suman Jana Department of Computer Science Columbia Univer](https://www.pdfsearch.io/img/c8e5c9205a62748b42451c9e44ce73f4.jpg) | Add to Reading ListSource URL: www.ieee-security.orgLanguage: English - Date: 2017-04-03 15:58:27
|
---|
54![Bisimilarity of Probabilistic Pushdown Automata Vojtěch Forejt1 , Petr Jančar2 , Stefan Kiefer1 , and James Worrell1 1 2 Department of Computer Science, University of Oxford, UK Bisimilarity of Probabilistic Pushdown Automata Vojtěch Forejt1 , Petr Jančar2 , Stefan Kiefer1 , and James Worrell1 1 2 Department of Computer Science, University of Oxford, UK](https://www.pdfsearch.io/img/976386aff3099106e83c796fea8d4cf5.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-12-01 10:21:43
|
---|
55![High-speed high-security signatures Daniel J. Bernstein1 , Niels Duif2 , Tanja Lange2 , Peter Schwabe3 , and Bo-Yin Yang4 1 Department of Computer Science University of Illinois at Chicago, Chicago, IL 60607–7045, USA High-speed high-security signatures Daniel J. Bernstein1 , Niels Duif2 , Tanja Lange2 , Peter Schwabe3 , and Bo-Yin Yang4 1 Department of Computer Science University of Illinois at Chicago, Chicago, IL 60607–7045, USA](https://www.pdfsearch.io/img/37f8e3f8e3730ba2d241492a9cd7f390.jpg) | Add to Reading ListSource URL: precision.moscito.orgLanguage: English - Date: 2011-07-09 00:19:47
|
---|
56![University of Washington Database Group Quarterly Newsletter - FallUW Database Group Data management systems, cloud services, probabilistic databases, and data pricing in Computer Science & Engineering at the Univ University of Washington Database Group Quarterly Newsletter - FallUW Database Group Data management systems, cloud services, probabilistic databases, and data pricing in Computer Science & Engineering at the Univ](https://www.pdfsearch.io/img/7ae1d03716df140b9fe29ad7441e8763.jpg) | Add to Reading ListSource URL: db.cs.washington.eduLanguage: English - Date: 2018-10-11 15:27:57
|
---|
57![Internet Censorship in China: Where Does the Filtering Occur? Xueyang Xu, Z. Morley Mao, and J. Alex Halderman Department of Computer Science and Engineering, University of Michigan, 2260 Hayward Street, Ann Arbor, MI 48 Internet Censorship in China: Where Does the Filtering Occur? Xueyang Xu, Z. Morley Mao, and J. Alex Halderman Department of Computer Science and Engineering, University of Michigan, 2260 Hayward Street, Ann Arbor, MI 48](https://www.pdfsearch.io/img/c3a85d429eaf17a76d11f9b56783a552.jpg) | Add to Reading ListSource URL: web.eecs.umich.eduLanguage: English - Date: 2011-03-10 12:58:06
|
---|
58![Bounds Analysis by Abstract Interpretation Xiaolei Qian Computer Science Laboratory SRI International Bounds Analysis by Abstract Interpretation Xiaolei Qian Computer Science Laboratory SRI International](https://www.pdfsearch.io/img/19e22d635dbbd0f9a2a2f2689a294366.jpg) | Add to Reading ListSource URL: www.kestrel.eduLanguage: English - Date: 2012-08-08 19:03:01
|
---|
59![Madhusudan Parthasarathy Curriculum Vitae Department of Computer Science Univ. of Illinois at Urbana-Champaign Madhusudan Parthasarathy Curriculum Vitae Department of Computer Science Univ. of Illinois at Urbana-Champaign](https://www.pdfsearch.io/img/6bd2b3952a6bdd0840d95de1dd34f8f8.jpg) | Add to Reading ListSource URL: madhu.cs.illinois.eduLanguage: English - Date: 2018-01-11 14:37:00
|
---|